Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 25 }

B grade: { }

C grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32 }

F grade: { }

2.1.3 Maple

A grade: { 17, 18, 19, 24 }

B grade: { 1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 22, 23, 27, 28, 29, 30 }

C grade: { 4, 9 }

F grade: { 16, 20, 21, 25, 26, 31, 32 }

2.1.4 Maxima

A grade: { }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32 }

2.1.5 FriCAS

A grade: { 21, 25, 26 }

B grade: { 17, 18, 19, 20, 22, 23, 24, 27, 28, 29, 30, 31, 32 }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 }

2.1.6 Sympy

A grade: { }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32 }

2.1.7 Giac

A grade: { }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32 }

2.1.8 Mupad

A grade: { }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-1) F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 547 547 416 9581948 0 0 0 0 -1
normalized size 1 1.00 0.76 17517.27 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.086 21.381 1.069 0.000 0.000 0.000 0.000 0.000




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 384 384 352 9581713 0 0 0 0 -1
normalized size 1 1.00 0.92 24952.38 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.715 22.282 0.952 0.000 0.000 0.000 0.000 0.000




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-2) F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 294 294 253 9339148 0 0 0 0 -1
normalized size 1 1.00 0.86 31765.81 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.289 11.431 0.916 0.000 0.000 0.000 0.000 0.000




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C C F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 349 349 64621 49657 0 0 0 0 -1
normalized size 1 1.00 185.16 142.28 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.688 35.857 5.491 0.000 0.000 0.000 0.000 0.000




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-1) F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 501 501 134907 1829775 0 0 0 0 -1
normalized size 1 1.00 269.28 3652.25 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.817 40.139 26.219 0.000 0.000 0.000 0.000 0.000




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F F(-1) F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 976 976 4224 17768513 0 0 0 0 -1
normalized size 1 1.00 4.33 18205.44 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 24.312 38.890 1.076 0.000 0.000 0.000 0.000 0.000




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 747 747 411 17768080 0 0 0 0 -1
normalized size 1 1.00 0.55 23785.92 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 23.694 27.093 0.967 0.000 0.000 0.000 0.000 0.000




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 602 602 350 21948746 0 0 0 0 -1
normalized size 1 1.00 0.58 36459.71 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 23.182 23.795 0.920 0.000 0.000 0.000 0.000 0.000




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C C F(-2) F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 570 570 278 248562 0 0 0 0 -1
normalized size 1 1.00 0.49 436.07 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 23.622 16.869 21.837 0.000 0.000 0.000 0.000 0.000




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 691 691 465721 4238722 0 0 0 0 -1
normalized size 1 1.00 673.98 6134.19 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 23.712 49.085 108.733 0.000 0.000 0.000 0.000 0.000




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-1) F(-1) F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1189 1189 5618 13068424 0 0 0 0 -1
normalized size 1 1.00 4.72 10991.11 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 6.289 40.520 1.085 0.000 0.000 0.000 0.000 0.000




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-1) F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 865 865 737 13067692 0 0 0 0 -1
normalized size 1 1.00 0.85 15107.16 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 4.774 28.067 0.934 0.000 0.000 0.000 0.000 0.000




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-2) F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 686 686 382 13067316 0 0 0 0 -1
normalized size 1 1.00 0.56 19048.57 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 4.598 27.221 0.873 0.000 0.000 0.000 0.000 0.000




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-2) F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 635 635 375 13067191 0 0 0 0 -1
normalized size 1 1.00 0.59 20578.25 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.757 26.638 0.862 0.000 0.000 0.000 0.000 0.000




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-1) F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 749 749 558961 21263243 0 0 0 0 -1
normalized size 1 1.00 746.28 28388.84 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 4.476 50.193 86.888 0.000 0.000 0.000 0.000 0.000




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F(-1) F(-1) F(-1) F F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 1008 1008 930953 0 0 0 0 0 -1
normalized size 1 1.00 923.56 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 4.851 55.047 180.000 0.000 0.000 0.000 0.000 0.000




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C A F(-1) B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 182 182 179905 240 0 2100 0 0 -1
normalized size 1 1.00 988.49 1.32 0.00 11.54 0.00 0.00 -0.01
time (sec) N/A 0.389 34.633 0.745 0.000 4.832 0.000 0.000 0.000




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C A F B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 141 141 64578 155 0 1695 0 0 -1
normalized size 1 1.00 458.00 1.10 0.00 12.02 0.00 0.00 -0.01
time (sec) N/A 0.214 46.550 0.594 0.000 3.973 0.000 0.000 0.000




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C A F B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 24736 102 0 433 0 0 -1
normalized size 1 1.00 313.11 1.29 0.00 5.48 0.00 0.00 -0.01
time (sec) N/A 0.116 34.935 0.661 0.000 1.479 0.000 0.000 0.000




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 142 142 44361 0 0 1141 0 0 -1
normalized size 1 1.00 312.40 0.00 0.00 8.04 0.00 0.00 -0.01
time (sec) N/A 0.244 29.329 2.354 0.000 2.769 0.000 0.000 0.000




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F(-1) A F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 249 249 37459 0 0 1444 0 0 -1
normalized size 1 1.00 150.44 0.00 0.00 5.80 0.00 0.00 -0.00
time (sec) N/A 0.319 32.540 2.378 0.000 3.469 0.000 0.000 0.000




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 270 270 539292 684 0 3019 0 0 -1
normalized size 1 1.00 1997.38 2.53 0.00 11.18 0.00 0.00 -0.00
time (sec) N/A 0.556 38.546 0.500 0.000 6.435 0.000 0.000 0.000




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 209 209 412434 467 0 2344 0 0 -1
normalized size 1 1.00 1973.37 2.23 0.00 11.22 0.00 0.00 -0.00
time (sec) N/A 0.341 36.617 0.498 0.000 6.184 0.000 0.000 0.000




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C A F B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 179 179 286262 289 0 1932 0 0 -1
normalized size 1 1.00 1599.23 1.61 0.00 10.79 0.00 0.00 -0.01
time (sec) N/A 0.221 35.082 0.534 0.000 4.527 0.000 0.000 0.000




















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 253 0 0 2522 0 0 -1
normalized size 1 1.00 1.25 0.00 0.00 12.42 0.00 0.00 -0.00
time (sec) N/A 0.270 12.818 1.988 0.000 1.983 0.000 0.000 0.000




















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F A F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 435 435 215131 0 0 1282 0 0 -1
normalized size 1 1.00 494.55 0.00 0.00 2.95 0.00 0.00 -0.00
time (sec) N/A 0.537 34.984 2.167 0.000 4.314 0.000 0.000 0.000




















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-2) B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 236 236 243520 828 0 6011 0 0 -1
normalized size 1 1.00 1031.86 3.51 0.00 25.47 0.00 0.00 -0.00
time (sec) N/A 0.559 36.269 0.707 0.000 5.972 0.000 0.000 0.000




















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 160 160 25130 599 0 1743 0 0 -1
normalized size 1 1.00 157.06 3.74 0.00 10.89 0.00 0.00 -0.01
time (sec) N/A 0.394 31.855 0.560 0.000 1.206 0.000 0.000 0.000




















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 153 153 25123 509 0 1717 0 0 -1
normalized size 1 1.00 164.20 3.33 0.00 11.22 0.00 0.00 -0.01
time (sec) N/A 0.284 31.653 0.564 0.000 1.826 0.000 0.000 0.000




















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 156 156 25149 417 0 1771 0 0 -1
normalized size 1 1.00 161.21 2.67 0.00 11.35 0.00 0.00 -0.01
time (sec) N/A 0.220 7.627 0.638 0.000 1.798 0.000 0.000 0.000




















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F(-2) B F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 280 280 181078 0 0 4153 0 0 -1
normalized size 1 1.00 646.71 0.00 0.00 14.83 0.00 0.00 -0.00
time (sec) N/A 0.383 35.960 2.175 0.000 8.353 0.000 0.000 0.000




















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F(-1) B F F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 478 478 293889 0 0 5274 0 0 -1
normalized size 1 1.00 614.83 0.00 0.00 11.03 0.00 0.00 -0.00
time (sec) N/A 0.559 37.952 2.169 0.000 8.130 0.000 0.000 0.000










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [6] had the largest ratio of [.4242]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 15 10 1.00 33 0.303







2 A 11 8 1.00 33 0.242







3 A 6 4 1.00 31 0.129







4 A 10 7 1.00 31 0.226







5 A 14 9 1.00 33 0.273







6 A 21 14 1.00 33 0.424







7 A 16 12 1.00 33 0.364







8 A 10 9 1.00 31 0.290







9 A 18 13 1.00 31 0.419







10 A 21 14 1.00 33 0.424







11 A 20 12 1.00 33 0.364







12 A 14 11 1.00 33 0.333







13 A 10 7 1.00 33 0.212







14 A 7 5 1.00 31 0.161







15 A 13 10 1.00 31 0.323







16 A 18 12 1.00 33 0.364







17 A 8 7 1.00 35 0.200







18 A 7 6 1.00 35 0.171







19 A 4 4 1.00 33 0.121







20 A 8 5 1.00 33 0.152







21 A 11 6 1.00 35 0.171







22 A 9 8 1.00 35 0.229







23 A 8 7 1.00 35 0.200







24 A 8 7 1.00 33 0.212







25 A 10 7 1.00 33 0.212







26 A 22 9 1.00 35 0.257







27 A 8 7 1.00 35 0.200







28 A 6 6 1.00 35 0.171







29 A 6 6 1.00 35 0.171







30 A 6 6 1.00 33 0.182







31 A 12 7 1.00 33 0.212







32 A 16 8 1.00 35 0.229